Improving knowledge of impact cratering: Bringing together “Modelers” and “Observationalists”
نویسندگان
چکیده
منابع مشابه
Bringing them all Together
A sequent calculus for hybrid logics is developed from a calculus for classical predicat logic by a series of transformations. We formalize the semantic theory of hybrid logic using a sequent calculus for predicate logic plus axioms. This works, but it is ugly. The unnattractive features are removed one-by-one, until the final vestiges of the metalanguage can be set aside to reveal a fully inte...
متن کاملBringing together existing research
A t the University of South Australia, we’ve been developing and evaluating technologies to support through-walls collaboration, in which users in an intelligent meeting room can work in real time with field operatives to view and manipulate data. The users in the field have first-hand knowledge of the current problem, whereas the indoor users have access to reference materials, a global pictur...
متن کاملBringing Context Awareness Together
This paper reviews different context classification systems that have been used to define types of context. Although existing classification systems cover various types of context, in the development of context aware applications only a few types of context have been used. This work aims to build a context classification model based on Activity Theory that brings together various research in co...
متن کاملEDHF: bringing the concepts together.
Endothelial cells synthesize and release vasoactive mediators in response to various neurohumoural substances (e.g. bradykinin or acetylcholine) and physical stimuli (e.g. cyclic stretch or fluid shear stress). The best-characterized endothelium-derived relaxing factors are nitric oxide and prostacyclin. However, an additional relaxant pathway associated with smooth muscle hyperpolarization als...
متن کاملUbiquitous MDSD – Bringing Together Modeling and Coding
Model-Driven Software Development (MDSD) is a powerful paradigm that has finally reached mainstream software development in the course of this decade. But although we have a large toolset at hand for both modeling and coding – most notably provided by the Eclipse EMP and JDT projects – the integration of the two worlds is often rather bumpy. This paper shows an approach that bundles graphical m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Eos, Transactions American Geophysical Union
سال: 2003
ISSN: 0096-3941
DOI: 10.1029/2003eo310006